翻訳と辞書
Words near each other
・ Blake Bellefeuille
・ Blake Berris
・ Blake Bjorklund
・ Blake Bodily
・ Blake Bolden
・ Blake Bortles
・ Blake Brettschneider
・ Blake Broadhurst
・ Blake Brockermeyer
・ Blake Burdette
・ Blake Butler
・ Blake Butler (author)
・ Blake Caldwell
・ Blake Camp
・ Blake Campbell
Blake canonical form
・ Blake Caparello
・ Blake Caracella
・ Blake Carrington
・ Blake Chancey
・ Blake Channel
・ Blake Chanslor
・ Blake Chow
・ Blake Clark
・ Blake Clarke
・ Blake Clarke (ice hockey)
・ Blake Cochrane
・ Blake Colburn Wilbur
・ Blake Coleman
・ Blake Comeau


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Blake canonical form : ウィキペディア英語版
Blake canonical form
In Boolean logic, a formula for a Boolean function ''f'' is in Blake canonical form, also called the complete sum of prime implicants,〔Tsutomu Sasao, "Ternary Decision Diagrams and their Applications", in Tsutomu Sasao, Masahira Fujita, ''eds.'', ''Representations of Discrete Functions'' ISBN 0792397207, 1996, p. 278〕 the complete sum,〔Abraham Kandel, ''Foundations of Digital Logic Design'', p. 177〕 or the disjunctive prime form,〔Donald E. Knuth, ''The Art of Computer Programming'' 4A: ''Combinatorial Algorithms, Part 1'', 2011, p. 54〕 when it is a disjunction of all the prime implicants of ''f''.〔Frank Markham Brown, "The Blake Canonical Form", chapter 4 of ''Boolean Reasoning: The Logic of Boolean Equations'', ISBN 0486427854, 2nd edition, 2012, p. 77''ff'' (first edition, 1990)〕 Blake canonical form is a disjunctive normal form.
The Blake canonical form is not necessarily minimal, however all the terms of a minimal sum are contained in the Blake canonical form.〔
It was introduced in 1937 by Archie Blake, who called it the "simplified canonical form";〔"Canonical expressions in Boolean algebra", Dissertation, Dept. of Mathematics, U. of Chicago, 1937, reviewed in J. C. C. McKinsey, ''The Journal of Symbolic Logic'' 3:2:93 (June 1938) 〕 it was named in honor of Blake by Frank Markham Brown in 1990.〔
Blake discussed three methods for calculating the canonical form: exhaustion of implicants, iterated consensus, and multiplication. The iterated consensus method was rediscovered by Samson and Mills, Quine, and Bing.〔
==See also==

* Horn clause

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Blake canonical form」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.